The Structure of Lie Algebras and the Classification Problem for Partial Differential Equations

The present paper solves completely the problem of the group classification of nonlinear heat-conductivity equations of the form\ $u_{t}=F(t,x,u,u_{x})u_{xx} + G(t,x,u,u_{x})$. We have proved, in particular, that the above class contains no nonlinear equations whose invariance algebra has dimension more than five. Furthermore, we have proved that there are two, thirty-four, thirty-five, and six inequivalent equations admitting one-, two-, three-, four- and five-dimensional Lie algebras, respectively. Since the procedure which we use, relies heavily upon the theory of abstract Lie algebras of low dimension, we give a detailed account of the necessary facts. This material is dispersed in the literature and is not fully available in English. After this algebraic part we give a detailed description of the method and then we derive the forms of inequivalent invariant evolution equations, and compute the corresponding maximal symmetry algebras. The list of invariant equations obtained in this way contains (up to a local change of variables) all the previously-known invariant evolution equations belonging to the class of partial differential equations under study.Comment: 45 page

Solvable Lie algebras are not that hypo

We study a type of left-invariant structure on Lie groups, or equivalently on Lie algebras. We introduce obstructions to the existence of a hypo structure, namely the 5-dimensional geometry of hypersurfaces in manifolds with holonomy SU(3). The choice of a splitting g^*=V_1 + V_2, and the vanishing of certain associated cohomology groups, determine a first obstruction. We also construct necessary conditions for the existence of a hypo structure with a fixed almost-contact form. For non-unimodular Lie algebras, we derive an obstruction to the existence of a hypo structure, with no choice involved. We apply these methods to classify solvable Lie algebras that admit a hypo structure.Comment: 21 pages; v2: presentation improved, typos corrected, notational conflicts eliminated. To appear in Transformation Group

Symmetry classification of third-order nonlinear evolution equations. Part I: Semi-simple algebras

We give a complete point-symmetry classification of all third-order evolution equations of the form $u_t=F(t,x,u,u_x, u_{xx})u_{xxx}+G(t,x,u,u_x, u_{xx})$ which admit semi-simple symmetry algebras and extensions of these semi-simple Lie algebras by solvable Lie algebras. The methods we employ are extensions and refinements of previous techniques which have been used in such classifications.Comment: 53 page

Local and nonlocal solvable structures in ODEs reduction

Solvable structures, likewise solvable algebras of local symmetries, can be used to integrate scalar ODEs by quadratures. Solvable structures, however, are particularly suitable for the integration of ODEs with a lack of local symmetries. In fact, under regularity assumptions, any given ODE always admits solvable structures even though finding them in general could be a very difficult task. In practice a noteworthy simplification may come by computing solvable structures which are adapted to some admitted symmetry algebra. In this paper we consider solvable structures adapted to local and nonlocal symmetry algebras of any order (i.e., classical and higher). In particular we introduce the notion of nonlocal solvable structure

On the classification of conditionally integrable evolution systems in (1+1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1+1)-dimensional evolution equations of order $n$ that admit an $N$-shock type solution with $N\leq n+1$. To this end we develop a refinement of the technique from our earlier work (A. Sergyeyev, J. Phys. A: Math. Gen, 35 (2002), 7653--7660), where we completely characterized all (1+1)-dimensional evolution systems \bi{u}_t=\bi{F}(x,t,\bi{u},\p\bi{u}/\p x,...,\p^n\bi{u}/\p x^n) that are conditionally invariant under a given generalized (Lie--B\"acklund) vector field \bi{Q}(x,t,\bi{u},\p\bi{u}/\p x,...,\p^k\bi{u}/\p x^k)\p/\p\bi{u} under the assumption that the system of ODEs \bi{Q}=0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in $t$, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics. Keywords: Exact solutions, nonlinear evolution equations, conditional integrability, generalized symmetries, reduction, generalized conditional symmetries MSC 2000: 35A30, 35G25, 81U15, 35N10, 37K35, 58J70, 58J72, 34A34Comment: 8 pages, LaTeX 2e, now uses hyperre

The nonabelian Liouville-Arnold integrability by quadratures problem: a symplectic approach

A symplectic theory approach is devised for solving the problem of algebraic-analytical construction of integral submanifold imbeddings for integrable (via the nonabelian Liouville-Arnold theorem) Hamiltonian systems on canonically symplectic phase spaces

Projective analysis and preliminary group classification of the nonlinear fin equation ut=(E(u)ux)x+h(x)uu_t=(E(u)u_x)_x + h(x)u

In this paper we investigate for further symmetry properties of the nonlinear fin equations of the general form $u_t=(E(u)u_x)_x + h(x)u$ rather than recent works on these equations. At first, we study the projective (fiber-preserving) symmetry to show that equations of the above class can not be reduced to linear equations. Then we determine an equivalence classification which admits an extension by one dimension of the principal Lie algebra of the equation. The invariant solutions of equivalence transformations and classification of nonlinear fin equations among with additional operators are also given.Comment: 9 page

Enhanced Group Analysis and Exact Solutions of Variable Coefficient Semilinear Diffusion Equations with a Power Source

A new approach to group classification problems and more general investigations on transformational properties of classes of differential equations is proposed. It is based on mappings between classes of differential equations, generated by families of point transformations. A class of variable coefficient (1+1)-dimensional semilinear reaction-diffusion equations of the general form $f(x)u_t=(g(x)u_x)_x+h(x)u^m$ ($m\ne0,1$) is studied from the symmetry point of view in the framework of the approach proposed. The singular subclass of the equations with $m=2$ is singled out. The group classifications of the entire class, the singular subclass and their images are performed with respect to both the corresponding (generalized extended) equivalence groups and all point transformations. The set of admissible transformations of the imaged class is exhaustively described in the general case $m\ne2$. The procedure of classification of nonclassical symmetries, which involves mappings between classes of differential equations, is discussed. Wide families of new exact solutions are also constructed for equations from the classes under consideration by the classical method of Lie reductions and by generation of new solutions from known ones for other equations with point transformations of different kinds (such as additional equivalence transformations and mappings between classes of equations).Comment: 40 pages, this is version published in Acta Applicanda Mathematica

New results on group classification of nonlinear diffusion-convection equations

Using a new method and additional (conditional and partial) equivalence transformations, we performed group classification in a class of variable coefficient $(1+1)$-dimensional nonlinear diffusion-convection equations of the general form $f(x)u_t=(D(u)u_x)_x+K(u)u_x.$ We obtain new interesting cases of such equations with the density $f$ localized in space, which have large invariance algebra. Exact solutions of these equations are constructed. We also consider the problem of investigation of the possible local trasformations for an arbitrary pair of equations from the class under consideration, i.e. of describing all the possible partial equivalence transformations in this class.Comment: LaTeX2e, 19 page

Group Analysis of Variable Coefficient Diffusion-Convection Equations. I. Enhanced Group Classification

We discuss the classical statement of group classification problem and some its extensions in the general case. After that, we carry out the complete extended group classification for a class of (1+1)-dimensional nonlinear diffusion--convection equations with coefficients depending on the space variable. At first, we construct the usual equivalence group and the extended one including transformations which are nonlocal with respect to arbitrary elements. The extended equivalence group has interesting structure since it contains a non-trivial subgroup of non-local gauge equivalence transformations. The complete group classification of the class under consideration is carried out with respect to the extended equivalence group and with respect to the set of all point transformations. Usage of extended equivalence and correct choice of gauges of arbitrary elements play the major role for simple and clear formulation of the final results. The set of admissible transformations of this class is preliminary investigated.Comment: 25 page